Cover transducers for functions with finite domain
نویسندگان
چکیده
JEAN-MARC CHAMPARNAUD1, FRANCK GUINGNE2,3 and GEORGES HANSEL2 1 PSI Laboratory (Université de Rouen, CNRS) 76821 Mont-Saint-Aignan — France [email protected] – http://www.univ-rouen.fr/psi/ 2 LIFAR Laboratory (Université de Rouen) 76821 Mont-Saint-Aignan — France {Franck.Guingne, Georges.Hansel}@univ-rouen.fr – http://www.univ-rouen.fr/LIFAR/ 3 Xerox Research Centre Europe – Grenoble Laboratory 6 chemin de Maupertuis – 38240 Meylan — France [email protected] – http://www.xrce.xerox.com
منابع مشابه
Cover interpolation functions and h-enrichment in finite element method
This paper presents a method to improve the generation of meshes and the accuracy of numerical solutions of elasticity problems, in which two techniques of h-refinement and enrichment are used by interpolation cover functions. Initially, regions which possess desired accuracy are detected. Mesh improvment is done through h-refinement for the elements existing in those regions. Total error of th...
متن کاملModeling Imperative String Operations with Transducers
We present a domain-specific imperative language, Bek, that directly models low-level string manipulation code featuring boolean state, search operations, and substring substitutions. We show constructively that Bek is reversible through a semantics-preserving translation to symbolic finite state transducers, a novel representation for transducers that annotates transitions with logical formula...
متن کاملAnalytical D’Alembert Series Solution for Multi-Layered One-Dimensional Elastic Wave Propagation with the Use of General Dirichlet Series
A general initial-boundary value problem of one-dimensional transient wave propagation in a multi-layered elastic medium due to arbitrary boundary or interface excitations (either prescribed tractions or displacements) is considered. Laplace transformation technique is utilised and the Laplace transform inversion is facilitated via an unconventional method, where the expansion of complex-valued...
متن کاملBEK: Re-Envisioning In-Browser Privacy
Web applications must use special string-manipulating sanitization functions on untrusted user data, but writing these functions correctly is error prone and time consuming. We present a domain-specific imperative language, BEK, that is expressive enough to capture real web sanitizers used in the Internet Explorer XSS Filter and the Google AutoEscape framework. We exhibit a translation from the...
متن کاملFree and Forced Transverse Vibration Analysis of Moderately Thick Orthotropic Plates Using Spectral Finite Element Method
In the present study, a spectral finite element method is developed for free and forced transverse vibration of Levy-type moderately thick rectangular orthotropic plates based on first-order shear deformation theory. Levy solution assumption was used to convert the two-dimensional problem into a one-dimensional problem. In the first step, the governing out-of-plane differential equations are tr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Found. Comput. Sci.
دوره 16 شماره
صفحات -
تاریخ انتشار 2005